Towards clausal discovery for stream mining Anton Dries1 and Luc De Raedt1 Department of Computer Science, Katholieke Universiteit Leuven {firstname.lastname}@cs.kuleuven.be

Source URL: people.cs.kuleuven.be

GOERGEN INSTITUTE FOR DATA SCIENCE ARCHITECTURAL RENDERINGS COURTESY OF KENNEDY & VIOLICH ARCHITECTURE, LTD. FUELING 21ST-CENTURY RESEARCH AND DISCOVERY

Source URL: www.rochester.edu

Delft University of Technology Master’s Thesis in Computer Science Automatic Discovery of Distributed Algorithms for Large-Scale Systems Sjors van Berkel

Source URL: www.es.ewi.tudelft.nl

Responding to Committee Document Requests 1. In complying with this request, you are required to produce all responsive documents that are in your possession, custody, or control, whether held by you or your past or p

Source URL: oversight.house.gov

• Discovery
• Civil procedure
• Documents
• Information science
• Request for production
• Legal documents
• Information
• Cognitive science
• Knowledge

Data Discovery and Dissemination with DIP tinyos-2.x/tos/lib/net/dip Kaisen Lin UC San Diego

Source URL: sing.stanford.edu

• Information retrieval
• Hashing
• Error detection and correction
• Information science
• Computer programming
• Cryptographic hash functions
• Search algorithms
• Distributed data storage
• Bloom filter
• Hash function
• Hash list
• Trie

Gatling: Automatic Attack Discovery in Large-Scale Distributed Systems Hyojeong Lee, Jeff Seibert, Charles Killian and Cristina Nita-Rotaru Department of Computer Science Purdue University {hyojlee, jcseiber, ckillian, c

Source URL: homes.cerias.purdue.edu

Curr Cardiovasc Risk Rep:1–8 DOIs12170DIABETES AND INSULIN RESISTANCE (M RUTTER, SECTION EDITOR) Text Mining Supporting Search for Knowledge Discovery

Source URL: www.nactem.ac.uk

• Computational linguistics
• Data mining
• RTT
• National Centre for Text Mining
• School of Computer Science
• University of Manchester
• Biological databases
• Text mining
• PubMed
• Biomedical text mining
• National Center for Biotechnology Information
• Unified Medical Language System
• Diabetes

Scheme-based Theorem Discovery and Concept Invention O. Montano-Rivasa , R. McCaslanda , L. Dixona , A. Bundya a School of Informatics, University of Edinburgh, Informatics Forum, 10 Crichton Street,

Source URL: dream.inf.ed.ac.uk

• Automated theorem proving
• Logic programming
• Logic in computer science
• Computability theory
• Algebraic topology
• Substitution
• Unification
• Lambda calculus
• Sheaf
• Scheme
• Combinatory logic
• Morphism of algebraic varieties

Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit`

Source URL: dream.inf.ed.ac.uk

• Automated theorem proving
• Theoretical computer science
• Mathematics
• Heuristics
• Rippling
• Mathematical logic
• Lemma
• Unification

Group ICA: Network Discovery with fMRI Analytic Choices & Their Implications Vince D. Calhoun, Ph.D. Executive Science Officer & Director, Image Analysis & MR Research The Mind Research Network

Source URL: www.brainmapping.org